Some model theory of Bezout difference rings- a survey
نویسندگان
چکیده
منابع مشابه
Some model theory of Bezout difference rings- a survey
This survey article is based on a joint work with Ehud Hrushovski on some Bezout difference rings ([19]). We study in a model-theoretic point of view certain classes of difference rings, namely rings with a distinguished endomorphism and more particularly rings of sequences over a field with a shift. First we will recall some results on difference fields. A difference field is a difference ring...
متن کاملA Survey on the Model Theory of Difference Fields
We survey the model theory of difference fields, that is, fields with a distinguished automorphism σ. After introducing the theory ACFA and stating elementary results, we discuss independence and the various concepts of rank, the dichotomy theorems, and, as an application, the Manin–Mumford conjecture over a number field. We conclude with some other applications. Difference field are fields wit...
متن کاملModel Theory of Difference Fields
The purpose of this course is to learn the fundamental results about the model theory of difference fields, as developed in Chatzidakis and Hrushovski [10]. The goal is to get to a level that will allow reading that paper. In this section we give some basic definitions, and mention some of the applications of this theory. A more detailed description of the content of the course can be found in ...
متن کاملA Bezout Computable Nonstandard Model of Open Induction
In contrast with Tennenbaum’s theorem [8] that says Peano Arithmetic (PA) has no nonstandard computable model, Shepherdson [6] constructed a computable nonstandard model for a very weak fragment of PA, called Open Induction (Iopen) in which the induction scheme is only allowed to be applied for quantifier-free formulas (with parameters). Since then several attempts have been made from both side...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the Belgian Mathematical Society - Simon Stevin
سال: 2007
ISSN: 1370-1444
DOI: 10.36045/bbms/1170347806